Function model - PDFSEARCH.IO - Document Search Engine

Function model
Results: 1865

#	Item
241	Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Model theory Functions and mappings Function Structure Axiom Interpretation First-order logic Mathematics Mathematical logic Logic
242	Variational methods as a computational model for cortical visual maps Pierre Kornprobst Thierry Vi´eville The 45mn talk step by step Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2007-08-02 11:32:15 Heat equation Heat transfer Calculus of variations Partial differential equation Image processing Laplace operator Gaussian function Calculus Mathematical analysis Multivariable calculus
243	PHYSICAL REVIEW B VOLUME 56, NUMBEROCTOBER 1997-I Add to Reading List Source URL: www.physast.uga.edu Language: English - Date: 2004-02-13 11:08:45 Fermi energy Aharonov–Bohm effect Partition function Free electron model Quantum Hall effect Quantum stirring ratchets and pumping Ballistic Conduction in Single-Walled Carbon Nanotubes Physics Condensed matter physics Luttinger liquid
244	REVIEWS AN ADAPTIVE CODING MODEL OF NEURAL FUNCTION IN PREFRONTAL CORTEX John Duncan Add to Reading List Source URL: www.cnbc.cmu.edu Language: English - Date: 2002-11-13 17:51:27 Cerebrum Attention-deficit hyperactivity disorder Neuroanatomy Prefrontal cortex Executive functions Working memory Functional specialization Frontal lobe Recognition memory Cognitive science Brain Mind
245	UTP Theories of Undefinedness Jim Woodcock & Victor Bandur University of York UTP Symposium, Paris: 27 August Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 02:26:18 Computability theory Formal methods Model theory Models of computation Lambda calculus Predicate Interpretation Function Primitive recursive function Logic Mathematical logic Mathematics
246	The Aggregate Production Function: ‘Not Even Wrong’ Add to Reading List Source URL: jesusfelipe.com Language: English - Date: 2014-10-16 23:34:52 Capital Macroeconomics Cambridge capital controversy Production function Political economy Aggregation problem Neoclassical economics Economic model Factors of production Economics Microeconomics Economic theories
247	Image Texture Classification Based on Finite Gaussian Mixture Models Yiming Wu, Kap Luk Chan, Yong Huang School of Electrical and Electronic Engineering Nanyang Technological University Nanyang Avenue, Singapore, 639798 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2003-09-11 06:46:48 Probability Gaussian function Image processing Linear filters Wavelet Mixture model Scale space Steerable pyramid Normal distribution Statistics Computer vision Probability and statistics
248	Collections, Cardinalities, and Relations Kuat Yessenov1⋆ , Ruzica Piskac2 , and Viktor Kuncak2⋆⋆ 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Electronic design automation Logic in computer science NP-complete problems First-order logic Function Interpretation FO Boolean satisfiability problem Mathematics Logic Mathematical logic
249	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:43:37 Field theory Diophantine geometry Number theory P-adic number Valuation FO Local zeta-function Constructible universe Igusa zeta-function Abstract algebra Mathematics Algebra
250	Supervised Semantic Indexing Bing Bai† , Jason Weston† , David Grangier† , Ronan Collobert† , Yanjun Qi† , Kunihiko Sadamasa† , Olivier Chapelle? , Kilian Weinberger? † NEC Labs America, Princeton NJ, USA ? Add to Reading List Source URL: ronan.collobert.com Language: English - Date: 2009-09-03 12:22:35 Vector space model Latent semantic analysis Latent semantic indexing Tf*idf Search engine indexing Learning to rank Relevance feedback Hash function Probabilistic latent semantic analysis Information science Information retrieval Science

UPDATE